diff -ur supertux-0.1.3.orig/src/menu.h supertux-0.1.3/src/menu.h
--- supertux-0.1.3.orig/src/menu.h	2005-06-21 23:16:07.000000000 +0200
+++ supertux-0.1.3/src/menu.h	2008-08-16 01:48:12.000000000 +0200
@@ -207,7 +207,7 @@
 
   bool isToggled(int id);
 
-  void Menu::get_controlfield_key_into_input(MenuItem *item);
+  void get_controlfield_key_into_input(MenuItem *item);
 
   void draw   ();
   void draw_item(int index, int menu_width, int menu_height);
